_'s⁇current element

Definitions:

reader
Source: /avail/Avail/Data Abstractions/Iterators/Abstract Iterators
Categories: Data Abstractions, Readers
Ensure that the specified reader is not exhausted, then answer its current element.
Position Name Type Description
Parameters
1 aReader reader A reader.
Returns any The current element of the specified reader.
Raises
exhausted-iterator exception If the reader (iterator) is exhausted.

Semantic restrictions:

readerType
Source: /avail/Avail/Data Abstractions/Iterators/Abstract Iterators
Strengthen the values produced by any reader to that of the element type of the reader.
Type Description
Parameter Types
readerType reader's type The type of reader being probed.
Returns type The strengthened type of element that will be returned.